define fact 
proc(n)
  i := n;
  s := 1;
  while i do s := s * i;  i := i-1 od;
  return := s
end;
n := 5;
s := fact(n)
